$\vdash$  ($\uparrow$ff) $\vee$ ($\neg$($\uparrow$ff))